poss{-}consistent($i$;$T$;$s$;${\it ev}$;$R$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$pe{-}loc(${\it ev}$) $=$ $i$ \& state@$i$ $\subseteq\rho$ $T$ \& $R$($s$,pe{-}state(${\it ev}$))